Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers Stuart Pernsteiner1 , Calvin Loncaric1 , Emina Torlak1 , Zachary Tatlock1 , Xi Wang1 , Michael D. Ernst1 , and Jonathan Jacky2 1

Source URL: locore.cs.washington.edu

The Shark Assemblage at French Frigate Shoals Atoll, Hawai‘i: Species Composition, Abundance and Habitat Use _http://www.ncbi.nlm.nih.gov/pmc/articles/PMC3037392/_ Jonathan J. Dale,1,2* Austin M. Stankus,1,2 Michael S.

Source URL: windward.hawaii.edu

/********************************************************************** ISC Credential Management Utility (CMU) – Command Line API Version: 2.3.1 Date: 14 March 2013 Authors: Michael Markowitz, Jonathan Schulze-Hewett

Source URL: www.infoseccorp.com

Empirical Studies on the Security and Usability Impact of Immutability Sam Weber (NYU), Michael Coblenz (CMU), Brad Myers (CMU), Jonathan Aldrich (CMU), Joshua Sunshine (CMU)

Source URL: s3.amazonaws.com

Revised5.95 Report on the Algorithmic Language Scheme MICHAEL SPERBER WILLIAM CLINGER, R. KENT DYBVIG, MATTHEW FLATT, ANTON VAN STRAATEN (Editors) RICHARD KELSEY, WILLIAM CLINGER, JONATHAN REES

Source URL: www.r6rs.org

• Software engineering
• Computer programming
• Computing
• Programming languages
• Functional languages
• Subroutines
• Object-oriented programming languages
• Lambda calculus
• Scheme
• Lisp
• Anonymous function
• Conditional

Effects for Funargs Jeremy G. Siek, Michael M. Vitousek, and Jonathan D. Turner University of Colorado at Boulder Abstract

Source URL: homes.soic.indiana.edu

Iris: A Conversational Agent for Complex Tasks Ethan Fast, Binbin Chen, Julia Mendelsohn, Jonathan Bassen, Michael S. Bernstein Stanford University {bchen45, jmendels, jbassen}@stanford.edu, {ethan.fast, msb}@cs.stanford

Source URL: hci.stanford.edu

The BBC micro:bit Coded by Microsoft Touch Develop Thomas Ball, Jonathan Protzenko, Judith Bishop, Michał Moskal, Jonathan de Halleux, Michael Braun Microsoft Research One Microsoft Way Redmond, WA, USA

Source URL: jonathan.protzenko.fr

Investigating Safety of a Radiotherapy Machine Using System Models with Pluggable Checkers Stuart Pernsteiner1 , Calvin Loncaric1 , Emina Torlak1 , Zachary Tatlock1 , Xi Wang1 , Michael D. Ernst1 , and Jonathan Jacky2 1

Source URL: homes.cs.washington.edu

OpenPiton: An Open Source Manycore Research Framework Jonathan Balkind Michael McKeown Yaosheng Fu Tri Nguyen Yanqi Zhou Alexey Lavrov Mohammad Shahrad Adi Fuchs Samuel Payne ∗ Xiaohua Liang Matthew Matl David Wentzlaf

Source URL: parallel.princeton.edu